From 6bcd41c00e403401c2a88f2cc5af19dbccba314e Mon Sep 17 00:00:00 2001 From: "cl349@firebug.cl.cam.ac.uk" Date: Tue, 30 May 2006 23:47:41 +0100 Subject: [PATCH] Explicitly use sh to run ioemu configure instead of relying on configure executable permissions to be set. Signed-off-by: Christian Limpach --- tools/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/Makefile b/tools/Makefile index 69fefef647..5be02fa8b4 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -58,7 +58,7 @@ check_clean: ifndef XEN_NO_IOEMU ioemu ioemuinstall ioemuclean: [ -f ioemu/config-host.h ] || \ - (cd ioemu; ./configure --prefix=usr) + (cd ioemu; sh ./configure --prefix=usr) $(MAKE) -C ioemu $(patsubst ioemu%,%,$@) else ioemu ioemuinstall ioemuclean: -- 2.30.2